top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algebraic set theory / A. Joyal, I. Moerdijk
Algebraic set theory / A. Joyal, I. Moerdijk
Autore Joyal, André
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica VIII, 123 p. ; 23 cm.
Altri autori (Persone) Moerdijk, Ieke
Soggetto topico 03G30 - Categorical logic, topoi [MSC 2020]
03E70 - Nonclassical and second-order set theories [MSC 2020]
ISBN 978-05-215-5830-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055984
Joyal, André  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic set theory / A. Joyal, I. Moerdijk
Algebraic set theory / A. Joyal, I. Moerdijk
Autore Joyal, André
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica VIII, 123 p. ; 23 cm
Altri autori (Persone) Moerdijk, Ieke
Soggetto topico 03G30 - Categorical logic, topoi [MSC 2020]
03E70 - Nonclassical and second-order set theories [MSC 2020]
ISBN 978-05-215-5830-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055984
Joyal, André  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic set theory / A. Joyal, I. Moerdijk
Algebraic set theory / A. Joyal, I. Moerdijk
Autore Joyal, André
Pubbl/distr/stampa Cambridge ; New York : Cambridge University Press, 1995
Descrizione fisica viii, 123 p. ; 23 cm
Disciplina 511.3
Altri autori (Persone) Moerdijk, Ieke
Collana London Mathematical Society lecture note series, 0076-0552 ; 220
Soggetto topico Set theory
ISBN 0521558301
Classificazione AMS 03C90
AMS 03E70
AMS 03F55
AMS 03G25
QA248.J69
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000661769707536
Joyal, André  
Cambridge ; New York : Cambridge University Press, 1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Classifying spaces and classifying topoi / I. Moerdijk
Classifying spaces and classifying topoi / I. Moerdijk
Autore Moerdijk, Ieke
Pubbl/distr/stampa Berlin [etc.] : Springer, c1995
Descrizione fisica 94 p. ; 24 cm.
Disciplina 514.24
Collana Lecture notes in mathematics
Soggetto topico Topologia
ISBN 3-540-60319-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000012273
Moerdijk, Ieke  
Berlin [etc.] : Springer, c1995
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Classifying spaces and classifying topoi / I. Moerdijk
Classifying spaces and classifying topoi / I. Moerdijk
Autore Moerdijk, Ieke
Pubbl/distr/stampa Berlin : Springer-Verlag, c1995
Descrizione fisica 94 p. ; 24 cm
Disciplina 512.55
Collana Lecture notes in mathematics, 0075-8434 ; 1616
Soggetto topico Classifying spaces
Grothendieck categories
Toposes
ISBN 3540603190
Classificazione AMS 18F10
AMS 55N30
AMS 55P15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000746949707536
Moerdijk, Ieke  
Berlin : Springer-Verlag, c1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
Autore Moerdijk, Ieke
Pubbl/distr/stampa Cham, : Springer, 2018
Descrizione fisica xiv, 141 p. : ill. ; 24 cm
Altri autori (Persone) Oosten, Jaap van
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
Soggetto non controllato Axiom of choice
Completeness theorem
First-order logic
Mathematical logic
Model theory
Proof tree
Quantifier elimination
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124991
Moerdijk, Ieke  
Cham, : Springer, 2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
Sets, models and proofs / Ieke Moerdijk, Jaap van Oosten
Autore Moerdijk, Ieke
Edizione [Cham : Springer, 2018]
Pubbl/distr/stampa xiv, 141 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Oosten, Jaap van
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124991
Moerdijk, Ieke  
xiv, 141 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sheaves in Geometry and Logic : A first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Sheaves in Geometry and Logic : A first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Autore Mac Lane, Saunders
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1992
Descrizione fisica XII, 627 p., 24 cm
Disciplina 512.55
Soggetto non controllato Teoria dei topoi
ISBN 0-387-97710-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001314830403321
Mac Lane, Saunders  
New York [etc.] : Springer-Verlag, 1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Autore Mac Lane, Saunders
Pubbl/distr/stampa New York, : Springer, 1992
Descrizione fisica XII, 627 p. ; 24 cm.
Altri autori (Persone) Moerdijk, Ieke
Soggetto topico 18B25 - Topoi [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
54B40 - Presheaves and sheaves in general topology [MSC 2020]
ISBN 03-87977-10-4
978-03-87977-10-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054471
Mac Lane, Saunders  
New York, : Springer, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Autore Mac Lane, Saunders
Pubbl/distr/stampa New York, : Springer, 1992
Descrizione fisica XII, 627 p. ; 24 cm
Altri autori (Persone) Moerdijk, Ieke
Soggetto topico 18B25 - Topoi [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
54B40 - Presheaves and sheaves in general topology [MSC 2020]
ISBN 03-87977-10-4
978-03-87977-10-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054471
Mac Lane, Saunders  
New York, : Springer, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui